Robustness analysis of avionics embedded systems
نویسنده
چکیده
Avionics embedded systems are confronted to sensors errors or inaccuracies. It is essential to be able to estimate the impact and the propagation of these errors on the system computed outputs. This paper comes from achieved work in the context of an industrial project in the avionics area. It presents a formal approach allowing to analyse the reaction of a LUSTRE program to inaccurate input values. It uses program analysis techniques like abstract interpretation and interval analysis. The approach has been implemented in Java and applied to parts of a flight control system of the AIRBUS aircrafts.
منابع مشابه
MADES: Embedded Systems Engineering Approach in the Avionics Domain
This article introduces the MADES Project [1]. MADES is developing new model-driven technologies to improve current practices in the development of embedded systems for the avionics and surveillance embedded systems industries, in particular taking advantage of MARTE [3], the OMG UML profile dedicated to Modelling and Analysis of Real time and Embedded Systems. The project is applying a holisti...
متن کاملBounded control of an underactuated biomimetic aerial vehicle - Validation with robustness tests
Flapping wing Micro Aerial Vehicles (FMAVs) have recently emerged as a promising challenge lying on the progress of the avionics technologies. The present paper deals with the development of simple control laws for an embedded implementation on a biomimetic MAV, aiming to control its attitude and position. The control laws are bounded, taking into consideration the amplitude bounds of the contr...
متن کاملAnalysis of Event-Driven Real-Time Systems with Time Petri Nets: A Translation-Based Approach
The growing complexity of modern real-time embedded systems makes it imperative to apply formal analysis techniques at early stages of system development. This paper considers formal modelling of event-driven real-time systems with Time Petri Nets, and subsequent analysis via model-checking by a simple, fully automatable translation into Timed Automata. The proposed approach is applied to a sma...
متن کاملImpact of Feature Interaction on the Safety Analysis for Unmanned Avionics Product Lines
Unmanned Avionics Systems (UAS) are real-time critical embedded systems that include high-integrity requirements. Most of these systems need to be certified before use, particularly in civil airspace. To reduce development cost, some UAS software is developed as part of a Software Product Line (SPL). A product-line comprises a reference architecture and a set of reusable core assets. New system...
متن کاملEfficient memory control for avionics and embedded systems
Modern aircrafts have seen a significant growth of avionics systems. Most of new aircrafts have systems for navigation, automatic flight control, collision avoidance systems, flight data recorder, weather radar system as well as communication and monitoring systems. All of these systems use embedded computer systems with increasing memory requirements. In order to reduce the electricity consume...
متن کامل